36

Reduction Rules for Intuitionistic\({{\lambda}{\rho}}\)-calculus

Year:
2015
Language:
english
File:
PDF, 525 KB
english, 2015